step(al,is,tm(ic,[ctxm(eta_,u,ip,ip_al_2,ip_al_2),ctxm(eta_,idp2,ip,ip_is,ip_is)],pri(icred,[ctxm(eta_,u,i,i_al,i_al),ctxm(eta_,idp2,kM,kM_is,kM_is),pri(lst,[ctxm(eta_,u,d_5,id_5,cd_5),ctxm(eta_,u,d_6,id_6,cd_6)]),ctxm(eta_,dot,n_c2_1,in_eta_n1,cn_eta_n1),ctxm(eta_,dot,n_c2_2,in_eta_n2,cn_eta_n2),ctxm(eta_,dot,n_c2_3,in_eta_n3,cn_eta_n3),ctxm(eta_,dot,n_c2_4,in_eta_n4,cn_eta_n4),ctxm(eta_,dot,n_c2_5,in_eta_n5,cn_eta_n5),ctxm(eta_,dot,n_c2_6,in_eta_n6,cn_eta_n6),ctxm(eta_,dot,n_c2_7,in_eta_n7,cn_eta_n7)]))).

